例句與造句

1. To achieve good performance, advanced optimization techniques are implemented in PAT, e . g . partial order reduction, symmetry reduction, process counter abstraction.
2. It's difficult to find partial order reduction in a sentence. 用partial order reduction造句挺難的